
<html>
    <body>
        User interfaces that used to diff annotations, such as the "comparator panel".
    </body>
</html>
